الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 1 /1
978-3-540-31864-4
Automated Deduction – CADE-20

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

اقرأ المزيد
عدد الكتب: 1 - 1 /1